2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays (Lecture Notes in Computer Science)
Автор:
Cliff B. Jones
, Автор:
Zhiming Liu
, Автор:
Jim Woodcock
Размер книги: 7.82 Mb
Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series) (v. 1)
Автор:
Dines Bjorner
Категория:
Компьютеры
Размер книги: 10.37 Mb
Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series)
Автор:
Dines Bjorner
Категория:
Компьютеры
Размер книги: 39.85 Mb
Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)
Автор:
Dines Bjorner
, Автор:
Martin C. Henson
Размер книги: 5.36 Mb
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
Автор:
Cliff B. Jones
, Автор:
Zhiming Liu
, Автор:
Jim Woodcock
Размер книги: 5.37 Mb
Baltic Computer Science
Автор:
Janis Barzdins
, Автор:
Dines Bjorner
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 4.05 Mb
Elements of Microcomputer Interfacing
Автор:
Dines Bjorner
, Автор:
C.A.R. Hoare
, Автор:
Hans Langmaack
Размер книги: 4.14 Mb
Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings
Автор:
Dines Bjorner
, Автор:
Manfred Broy
, Автор:
Igor V. Pottosin
Размер книги: 3.88 Mb
Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings
Автор:
Dines Bjorner
, Автор:
Manfred Broy
, Автор:
Igor V. Pottosin
Размер книги: 3.86 Mb
Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 ...
Автор:
Dines Bjorner
, Автор:
Manfred Broy
, Автор:
Alexandre V. Zamulin
Размер книги: 9.42 Mb
Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, ... Papers
Автор:
Dines Bjorner
, Автор:
Manfred Broy
, Автор:
Alexandre Zamulin
Размер книги: 5.59 Mb
